$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $i$:\{0..$n$$^{-}$\}, $X$:(Outcome$\rightarrow\mathbb{Q}$). E($n$;$X$@$i$) = weighted{-}sum($p$;$X$) $\in$ $\mathbb{Q}$